home *** CD-ROM | disk | FTP | other *** search
/ Mac Easy 2010 May / Mac Life Ubuntu.iso / casper / filesystem.squashfs / usr / share / gedit-2 / ui / gedit-preferences-dialog.ui < prev    next >
Encoding:
Extensible Markup Language  |  2009-04-14  |  93.5 KB  |  1,598 lines
  1. <?xml version="1.0"?>
  2. <!--*- mode: xml -*-->
  3. <interface>
  4.   <object class="GtkAdjustment" id="adjustment1">
  5.     <property name="upper">160</property>
  6.     <property name="lower">1</property>
  7.     <property name="page_increment">10</property>
  8.     <property name="step_increment">1</property>
  9.     <property name="page_size">0</property>
  10.     <property name="value">80</property>
  11.   </object>
  12.   <object class="GtkAdjustment" id="adjustment2">
  13.     <property name="upper">24</property>
  14.     <property name="lower">1</property>
  15.     <property name="page_increment">4</property>
  16.     <property name="step_increment">1</property>
  17.     <property name="page_size">0</property>
  18.     <property name="value">8</property>
  19.   </object>
  20.   <object class="GtkAdjustment" id="adjustment3">
  21.     <property name="upper">100</property>
  22.     <property name="lower">1</property>
  23.     <property name="page_increment">10</property>
  24.     <property name="step_increment">1</property>
  25.     <property name="page_size">0</property>
  26.     <property name="value">8</property>
  27.   </object>
  28.   <object class="GtkDialog" id="preferences_dialog">
  29.     <property name="title" translatable="yes">Preferences</property>
  30.     <property name="type">GTK_WINDOW_TOPLEVEL</property>
  31.     <property name="window_position">GTK_WIN_POS_NONE</property>
  32.     <property name="modal">False</property>
  33.     <property name="resizable">False</property>
  34.     <property name="destroy_with_parent">True</property>
  35.     <property name="decorated">True</property>
  36.     <property name="skip_taskbar_hint">False</property>
  37.     <property name="skip_pager_hint">False</property>
  38.     <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
  39.     <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
  40.     <property name="focus_on_map">True</property>
  41.     <property name="urgency_hint">False</property>
  42.     <property name="has_separator">False</property>
  43.     <child internal-child="vbox">
  44.       <object class="GtkVBox" id="dialog-vbox">
  45.         <property name="visible">True</property>
  46.         <property name="homogeneous">False</property>
  47.         <property name="spacing">0</property>
  48.         <child internal-child="action_area">
  49.           <object class="GtkHButtonBox" id="dialog-action_area">
  50.             <property name="visible">True</property>
  51.             <property name="layout_style">GTK_BUTTONBOX_END</property>
  52.             <child>
  53.               <object class="GtkButton" id="helpbutton1">
  54.                 <property name="visible">True</property>
  55.                 <property name="can_default">True</property>
  56.                 <property name="can_focus">True</property>
  57.                 <property name="label">gtk-help</property>
  58.                 <property name="use_stock">True</property>
  59.                 <property name="relief">GTK_RELIEF_NORMAL</property>
  60.                 <property name="focus_on_click">True</property>
  61.               </object>
  62.             </child>
  63.             <child>
  64.               <object class="GtkButton" id="closebutton1">
  65.                 <property name="visible">True</property>
  66.                 <property name="can_default">True</property>
  67.                 <property name="can_focus">True</property>
  68.                 <property name="label">gtk-close</property>
  69.                 <property name="use_stock">True</property>
  70.                 <property name="relief">GTK_RELIEF_NORMAL</property>
  71.                 <property name="focus_on_click">True</property>
  72.               </object>
  73.             </child>
  74.           </object>
  75.           <packing>
  76.             <property name="padding">0</property>
  77.             <property name="expand">False</property>
  78.             <property name="fill">True</property>
  79.             <property name="pack_type">GTK_PACK_END</property>
  80.           </packing>
  81.         </child>
  82.         <child>
  83.           <object class="GtkNotebook" id="notebook">
  84.             <property name="border_width">6</property>
  85.             <property name="visible">True</property>
  86.             <property name="can_focus">True</property>
  87.             <property name="show_tabs">True</property>
  88.             <property name="show_border">True</property>
  89.             <property name="tab_pos">GTK_POS_TOP</property>
  90.             <property name="scrollable">False</property>
  91.             <property name="enable_popup">False</property>
  92.             <child>
  93.               <object class="GtkVBox" id="vbox228">
  94.                 <property name="border_width">12</property>
  95.                 <property name="visible">True</property>
  96.                 <property name="homogeneous">False</property>
  97.                 <property name="spacing">18</property>
  98.                 <child>
  99.                   <object class="GtkVBox" id="vbox226">
  100.                     <property name="visible">True</property>
  101.                     <property name="homogeneous">False</property>
  102.                     <property name="spacing">6</property>
  103.                     <child>
  104.                       <object class="GtkLabel" id="label848">
  105.                         <property name="visible">True</property>
  106.                         <property name="label" translatable="yes"><b>Text Wrapping</b></property>
  107.                         <property name="use_underline">False</property>
  108.                         <property name="use_markup">True</property>
  109.                         <property name="justify">GTK_JUSTIFY_LEFT</property>
  110.                         <property name="wrap">False</property>
  111.                         <property name="selectable">False</property>
  112.                         <property name="xalign">0</property>
  113.                         <property name="yalign">0.5</property>
  114.                         <property name="xpad">0</property>
  115.                         <property name="ypad">0</property>
  116.                         <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  117.                         <property name="width_chars">-1</property>
  118.                         <property name="single_line_mode">False</property>
  119.                         <property name="angle">0</property>
  120.                       </object>
  121.                       <packing>
  122.                         <property name="padding">0</property>
  123.                         <property name="expand">False</property>
  124.                         <property name="fill">False</property>
  125.                       </packing>
  126.                     </child>
  127.                     <child>
  128.                       <object class="GtkHBox" id="hbox142">
  129.                         <property name="visible">True</property>
  130.                         <property name="homogeneous">False</property>
  131.                         <property name="spacing">0</property>
  132.                         <child>
  133.                           <object class="GtkLabel" id="label849">
  134.                             <property name="visible">True</property>
  135.                             <property name="label" translatable="yes">    </property>
  136.                             <property name="use_underline">False</property>
  137.                             <property name="use_markup">False</property>
  138.                             <property name="justify">GTK_JUSTIFY_LEFT</property>
  139.                             <property name="wrap">False</property>
  140.                             <property name="selectable">False</property>
  141.                             <property name="xalign">0.5</property>
  142.                             <property name="yalign">0.5</property>
  143.                             <property name="xpad">0</property>
  144.                             <property name="ypad">0</property>
  145.                             <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  146.                             <property name="width_chars">-1</property>
  147.                             <property name="single_line_mode">False</property>
  148.                             <property name="angle">0</property>
  149.                           </object>
  150.                           <packing>
  151.                             <property name="padding">0</property>
  152.                             <property name="expand">False</property>
  153.                             <property name="fill">False</property>
  154.                           </packing>
  155.                         </child>
  156.                         <child>
  157.                           <object class="GtkVBox" id="wrap_mode_frame">
  158.                             <property name="visible">True</property>
  159.                             <property name="homogeneous">False</property>
  160.                             <property name="spacing">6</property>
  161.                             <child>
  162.                               <object class="GtkCheckButton" id="wrap_text_checkbutton">
  163.                                 <property name="visible">True</property>
  164.                                 <property name="can_focus">True</property>
  165.                                 <property name="label" translatable="yes">Enable text _wrapping</property>
  166.                                 <property name="use_underline">True</property>
  167.                                 <property name="relief">GTK_RELIEF_NORMAL</property>
  168.                                 <property name="focus_on_click">True</property>
  169.                                 <property name="active">False</property>
  170.                                 <property name="inconsistent">False</property>
  171.                                 <property name="draw_indicator">True</property>
  172.                               </object>
  173.                               <packing>
  174.                                 <property name="padding">0</property>
  175.                                 <property name="expand">False</property>
  176.                                 <property name="fill">False</property>
  177.                               </packing>
  178.                             </child>
  179.                             <child>
  180.                               <object class="GtkCheckButton" id="split_checkbutton">
  181.                                 <property name="visible">True</property>
  182.                                 <property name="can_focus">True</property>
  183.                                 <property name="label" translatable="yes">Do not _split words over two lines</property>
  184.                                 <property name="use_underline">True</property>
  185.                                 <property name="relief">GTK_RELIEF_NORMAL</property>
  186.                                 <property name="focus_on_click">True</property>
  187.                                 <property name="active">False</property>
  188.                                 <property name="inconsistent">False</property>
  189.                                 <property name="draw_indicator">True</property>
  190.                               </object>
  191.                               <packing>
  192.                                 <property name="padding">0</property>
  193.                                 <property name="expand">False</property>
  194.                                 <property name="fill">False</property>
  195.                               </packing>
  196.                             </child>
  197.                           </object>
  198.                           <packing>
  199.                             <property name="padding">0</property>
  200.                             <property name="expand">True</property>
  201.                             <property name="fill">True</property>
  202.                           </packing>
  203.                         </child>
  204.                       </object>
  205.                       <packing>
  206.                         <property name="padding">0</property>
  207.                         <property name="expand">True</property>
  208.                         <property name="fill">True</property>
  209.                       </packing>
  210.                     </child>
  211.                   </object>
  212.                   <packing>
  213.                     <property name="padding">0</property>
  214.                     <property name="expand">True</property>
  215.                     <property name="fill">True</property>
  216.                   </packing>
  217.                 </child>
  218.                 <child>
  219.                   <object class="GtkVBox" id="vbox217">
  220.                     <property name="visible">True</property>
  221.                     <property name="homogeneous">False</property>
  222.                     <property name="spacing">6</property>
  223.                     <child>
  224.                       <object class="GtkLabel" id="label854">
  225.                         <property name="visible">True</property>
  226.                         <property name="label" translatable="yes"><b>Line Numbers</b></property>
  227.                         <property name="use_underline">False</property>
  228.                         <property name="use_markup">True</property>
  229.                         <property name="justify">GTK_JUSTIFY_LEFT</property>
  230.                         <property name="wrap">False</property>
  231.                         <property name="selectable">False</property>
  232.                         <property name="xalign">0</property>
  233.                         <property name="yalign">0.5</property>
  234.                         <property name="xpad">0</property>
  235.                         <property name="ypad">0</property>
  236.                         <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  237.                         <property name="width_chars">-1</property>
  238.                         <property name="single_line_mode">False</property>
  239.                         <property name="angle">0</property>
  240.                       </object>
  241.                       <packing>
  242.                         <property name="padding">0</property>
  243.                         <property name="expand">False</property>
  244.                         <property name="fill">False</property>
  245.                       </packing>
  246.                     </child>
  247.                     <child>
  248.                       <object class="GtkHBox" id="hbox137">
  249.                         <property name="visible">True</property>
  250.                         <property name="homogeneous">False</property>
  251.                         <property name="spacing">0</property>
  252.                         <child>
  253.                           <object class="GtkLabel" id="label843">
  254.                             <property name="visible">True</property>
  255.                             <property name="label" translatable="yes">    </property>
  256.                             <property name="use_underline">False</property>
  257.                             <property name="use_markup">False</property>
  258.                             <property name="justify">GTK_JUSTIFY_LEFT</property>
  259.                             <property name="wrap">False</property>
  260.                             <property name="selectable">False</property>
  261.                             <property name="xalign">0.5</property>
  262.                             <property name="yalign">0.5</property>
  263.                             <property name="xpad">0</property>
  264.                             <property name="ypad">0</property>
  265.                             <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  266.                             <property name="width_chars">-1</property>
  267.                             <property name="single_line_mode">False</property>
  268.                             <property name="angle">0</property>
  269.                           </object>
  270.                           <packing>
  271.                             <property name="padding">0</property>
  272.                             <property name="expand">False</property>
  273.                             <property name="fill">False</property>
  274.                           </packing>
  275.                         </child>
  276.                         <child>
  277.                           <object class="GtkVBox" id="vbox222">
  278.                             <property name="visible">True</property>
  279.                             <property name="homogeneous">False</property>
  280.                             <property name="spacing">6</property>
  281.                             <child>
  282.                               <object class="GtkCheckButton" id="display_line_numbers_checkbutton">
  283.                                 <property name="visible">True</property>
  284.                                 <property name="can_focus">True</property>
  285.                                 <property name="label" translatable="yes">_Display line numbers</property>
  286.                                 <property name="use_underline">True</property>
  287.                                 <property name="relief">GTK_RELIEF_NORMAL</property>
  288.                                 <property name="focus_on_click">True</property>
  289.                                 <property name="active">False</property>
  290.                                 <property name="inconsistent">False</property>
  291.                                 <property name="draw_indicator">True</property>
  292.                               </object>
  293.                               <packing>
  294.                                 <property name="padding">0</property>
  295.                                 <property name="expand">False</property>
  296.                                 <property name="fill">False</property>
  297.                               </packing>
  298.                             </child>
  299.                           </object>
  300.                           <packing>
  301.                             <property name="padding">0</property>
  302.                             <property name="expand">True</property>
  303.                             <property name="fill">True</property>
  304.                           </packing>
  305.                         </child>
  306.                       </object>
  307.                       <packing>
  308.                         <property name="padding">0</property>
  309.                         <property name="expand">True</property>
  310.                         <property name="fill">True</property>
  311.                       </packing>
  312.                     </child>
  313.                   </object>
  314.                   <packing>
  315.                     <property name="padding">0</property>
  316.                     <property name="expand">False</property>
  317.                     <property name="fill">False</property>
  318.                   </packing>
  319.                 </child>
  320.                 <child>
  321.                   <object class="GtkVBox" id="vbox244">
  322.                     <property name="visible">True</property>
  323.                     <property name="homogeneous">False</property>
  324.                     <property name="spacing">6</property>
  325.                     <child>
  326.                       <object class="GtkLabel" id="label876">
  327.                         <property name="visible">True</property>
  328.                         <property name="label" translatable="yes"><b>Current Line</b></property>
  329.                         <property name="use_underline">False</property>
  330.                         <property name="use_markup">True</property>
  331.                         <property name="justify">GTK_JUSTIFY_LEFT</property>
  332.                         <property name="wrap">False</property>
  333.                         <property name="selectable">False</property>
  334.                         <property name="xalign">0</property>
  335.                         <property name="yalign">0.5</property>
  336.                         <property name="xpad">0</property>
  337.                         <property name="ypad">0</property>
  338.                         <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  339.                         <property name="width_chars">-1</property>
  340.                         <property name="single_line_mode">False</property>
  341.                         <property name="angle">0</property>
  342.                       </object>
  343.                       <packing>
  344.                         <property name="padding">0</property>
  345.                         <property name="expand">False</property>
  346.                         <property name="fill">False</property>
  347.                       </packing>
  348.                     </child>
  349.                     <child>
  350.                       <object class="GtkHBox" id="hbox161">
  351.                         <property name="visible">True</property>
  352.                         <property name="homogeneous">False</property>
  353.                         <property name="spacing">0</property>
  354.                         <child>
  355.                           <object class="GtkLabel" id="label877">
  356.                             <property name="visible">True</property>
  357.                             <property name="label" translatable="yes">    </property>
  358.                             <property name="use_underline">False</property>
  359.                             <property name="use_markup">False</property>
  360.                             <property name="justify">GTK_JUSTIFY_LEFT</property>
  361.                             <property name="wrap">False</property>
  362.                             <property name="selectable">False</property>
  363.                             <property name="xalign">0.5</property>
  364.                             <property name="yalign">0.5</property>
  365.                             <property name="xpad">0</property>
  366.                             <property name="ypad">0</property>
  367.                             <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  368.                             <property name="width_chars">-1</property>
  369.                             <property name="single_line_mode">False</property>
  370.                             <property name="angle">0</property>
  371.                           </object>
  372.                           <packing>
  373.                             <property name="padding">0</property>
  374.                             <property name="expand">False</property>
  375.                             <property name="fill">False</property>
  376.                           </packing>
  377.                         </child>
  378.                         <child>
  379.                           <object class="GtkVBox" id="vbox245">
  380.                             <property name="visible">True</property>
  381.                             <property name="homogeneous">False</property>
  382.                             <property name="spacing">6</property>
  383.                             <child>
  384.                               <object class="GtkCheckButton" id="highlight_current_line_checkbutton">
  385.                                 <property name="visible">True</property>
  386.                                 <property name="can_focus">True</property>
  387.                                 <property name="label" translatable="yes">Highlight current _line</property>
  388.                                 <property name="use_underline">True</property>
  389.                                 <property name="relief">GTK_RELIEF_NORMAL</property>
  390.                                 <property name="focus_on_click">True</property>
  391.                                 <property name="active">False</property>
  392.                                 <property name="inconsistent">False</property>
  393.                                 <property name="draw_indicator">True</property>
  394.                               </object>
  395.                               <packing>
  396.                                 <property name="padding">0</property>
  397.                                 <property name="expand">False</property>
  398.                                 <property name="fill">False</property>
  399.                               </packing>
  400.                             </child>
  401.                           </object>
  402.                           <packing>
  403.                             <property name="padding">0</property>
  404.                             <property name="expand">True</property>
  405.                             <property name="fill">True</property>
  406.                           </packing>
  407.                         </child>
  408.                       </object>
  409.                       <packing>
  410.                         <property name="padding">0</property>
  411.                         <property name="expand">True</property>
  412.                         <property name="fill">True</property>
  413.                       </packing>
  414.                     </child>
  415.                   </object>
  416.                   <packing>
  417.                     <property name="padding">0</property>
  418.                     <property name="expand">False</property>
  419.                     <property name="fill">True</property>
  420.                   </packing>
  421.                 </child>
  422.                 <child>
  423.                   <object class="GtkVBox" id="vbox230">
  424.                     <property name="visible">True</property>
  425.                     <property name="homogeneous">False</property>
  426.                     <property name="spacing">6</property>
  427.                     <child>
  428.                       <object class="GtkLabel" id="label855">
  429.                         <property name="visible">True</property>
  430.                         <property name="label" translatable="yes"><b>Right Margin</b></property>
  431.                         <property name="use_underline">False</property>
  432.                         <property name="use_markup">True</property>
  433.                         <property name="justify">GTK_JUSTIFY_LEFT</property>
  434.                         <property name="wrap">False</property>
  435.                         <property name="selectable">False</property>
  436.                         <property name="xalign">0</property>
  437.                         <property name="yalign">0.5</property>
  438.                         <property name="xpad">0</property>
  439.                         <property name="ypad">0</property>
  440.                         <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  441.                         <property name="width_chars">-1</property>
  442.                         <property name="single_line_mode">False</property>
  443.                         <property name="angle">0</property>
  444.                       </object>
  445.                       <packing>
  446.                         <property name="padding">0</property>
  447.                         <property name="expand">False</property>
  448.                         <property name="fill">False</property>
  449.                       </packing>
  450.                     </child>
  451.                     <child>
  452.                       <object class="GtkHBox" id="hbox145">
  453.                         <property name="visible">True</property>
  454.                         <property name="homogeneous">False</property>
  455.                         <property name="spacing">0</property>
  456.                         <child>
  457.                           <object class="GtkLabel" id="label856">
  458.                             <property name="visible">True</property>
  459.                             <property name="label" translatable="yes">    </property>
  460.                             <property name="use_underline">False</property>
  461.                             <property name="use_markup">False</property>
  462.                             <property name="justify">GTK_JUSTIFY_LEFT</property>
  463.                             <property name="wrap">False</property>
  464.                             <property name="selectable">False</property>
  465.                             <property name="xalign">0.5</property>
  466.                             <property name="yalign">0.5</property>
  467.                             <property name="xpad">0</property>
  468.                             <property name="ypad">0</property>
  469.                             <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  470.                             <property name="width_chars">-1</property>
  471.                             <property name="single_line_mode">False</property>
  472.                             <property name="angle">0</property>
  473.                           </object>
  474.                           <packing>
  475.                             <property name="padding">0</property>
  476.                             <property name="expand">False</property>
  477.                             <property name="fill">False</property>
  478.                           </packing>
  479.                         </child>
  480.                         <child>
  481.                           <object class="GtkVBox" id="vbox231">
  482.                             <property name="visible">True</property>
  483.                             <property name="homogeneous">False</property>
  484.                             <property name="spacing">6</property>
  485.                             <child>
  486.                               <object class="GtkCheckButton" id="right_margin_checkbutton">
  487.                                 <property name="visible">True</property>
  488.                                 <property name="can_focus">True</property>
  489.                                 <property name="label" translatable="yes">Display right _margin</property>
  490.                                 <property name="use_underline">True</property>
  491.                                 <property name="relief">GTK_RELIEF_NORMAL</property>
  492.                                 <property name="focus_on_click">True</property>
  493.                                 <property name="active">False</property>
  494.                                 <property name="inconsistent">False</property>
  495.                                 <property name="draw_indicator">True</property>
  496.                               </object>
  497.                               <packing>
  498.                                 <property name="padding">0</property>
  499.                                 <property name="expand">False</property>
  500.                                 <property name="fill">False</property>
  501.                               </packing>
  502.                             </child>
  503.                             <child>
  504.                               <object class="GtkHBox" id="right_margin_position_hbox">
  505.                                 <property name="visible">True</property>
  506.                                 <property name="homogeneous">False</property>
  507.                                 <property name="spacing">6</property>
  508.                                 <child>
  509.                                   <object class="GtkLabel" id="label857">
  510.                                     <property name="visible">True</property>
  511.                                     <property name="label" translatable="yes">_Right margin at column:</property>
  512.                                     <property name="use_underline">True</property>
  513.                                     <property name="use_markup">False</property>
  514.                                     <property name="justify">GTK_JUSTIFY_LEFT</property>
  515.                                     <property name="wrap">False</property>
  516.                                     <property name="selectable">False</property>
  517.                                     <property name="xalign">0</property>
  518.                                     <property name="yalign">0.5</property>
  519.                                     <property name="xpad">0</property>
  520.                                     <property name="ypad">0</property>
  521.                                     <property name="mnemonic_widget">right_margin_position_spinbutton</property>
  522.                                     <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  523.                                     <property name="width_chars">-1</property>
  524.                                     <property name="single_line_mode">False</property>
  525.                                     <property name="angle">0</property>
  526.                                   </object>
  527.                                   <packing>
  528.                                     <property name="padding">0</property>
  529.                                     <property name="expand">False</property>
  530.                                     <property name="fill">False</property>
  531.                                   </packing>
  532.                                 </child>
  533.                                 <child>
  534.                                   <object class="GtkSpinButton" id="right_margin_position_spinbutton">
  535.                                     <property name="visible">True</property>
  536.                                     <property name="can_focus">True</property>
  537.                                     <property name="climb_rate">1</property>
  538.                                     <property name="digits">0</property>
  539.                                     <property name="numeric">True</property>
  540.                                     <property name="update_policy">GTK_UPDATE_ALWAYS</property>
  541.                                     <property name="snap_to_ticks">True</property>
  542.                                     <property name="wrap">False</property>
  543.                                     <property name="adjustment">adjustment1</property>
  544.                                   </object>
  545.                                   <packing>
  546.                                     <property name="padding">0</property>
  547.                                     <property name="expand">False</property>
  548.                                     <property name="fill">False</property>
  549.                                   </packing>
  550.                                 </child>
  551.                               </object>
  552.                               <packing>
  553.                                 <property name="padding">0</property>
  554.                                 <property name="expand">False</property>
  555.                                 <property name="fill">False</property>
  556.                               </packing>
  557.                             </child>
  558.                           </object>
  559.                           <packing>
  560.                             <property name="padding">0</property>
  561.                             <property name="expand">True</property>
  562.                             <property name="fill">True</property>
  563.                           </packing>
  564.                         </child>
  565.                       </object>
  566.                       <packing>
  567.                         <property name="padding">0</property>
  568.                         <property name="expand">True</property>
  569.                         <property name="fill">True</property>
  570.                       </packing>
  571.                     </child>
  572.                   </object>
  573.                   <packing>
  574.                     <property name="padding">0</property>
  575.                     <property name="expand">False</property>
  576.                     <property name="fill">False</property>
  577.                   </packing>
  578.                 </child>
  579.                 <child>
  580.                   <object class="GtkVBox" id="vbox249">
  581.                     <property name="visible">True</property>
  582.                     <property name="homogeneous">False</property>
  583.                     <property name="spacing">6</property>
  584.                     <child>
  585.                       <object class="GtkLabel" id="label881">
  586.                         <property name="visible">True</property>
  587.                         <property name="label" translatable="yes"><b>Bracket Matching</b></property>
  588.                         <property name="use_underline">False</property>
  589.                         <property name="use_markup">True</property>
  590.                         <property name="justify">GTK_JUSTIFY_LEFT</property>
  591.                         <property name="wrap">False</property>
  592.                         <property name="selectable">False</property>
  593.                         <property name="xalign">0</property>
  594.                         <property name="yalign">0.5</property>
  595.                         <property name="xpad">0</property>
  596.                         <property name="ypad">0</property>
  597.                         <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  598.                         <property name="width_chars">-1</property>
  599.                         <property name="single_line_mode">False</property>
  600.                         <property name="angle">0</property>
  601.                       </object>
  602.                       <packing>
  603.                         <property name="padding">0</property>
  604.                         <property name="expand">False</property>
  605.                         <property name="fill">False</property>
  606.                       </packing>
  607.                     </child>
  608.                     <child>
  609.                       <object class="GtkHBox" id="hbox163">
  610.                         <property name="visible">True</property>
  611.                         <property name="homogeneous">False</property>
  612.                         <property name="spacing">0</property>
  613.                         <child>
  614.                           <object class="GtkLabel" id="label882">
  615.                             <property name="visible">True</property>
  616.                             <property name="label" translatable="yes">    </property>
  617.                             <property name="use_underline">False</property>
  618.                             <property name="use_markup">False</property>
  619.                             <property name="justify">GTK_JUSTIFY_LEFT</property>
  620.                             <property name="wrap">False</property>
  621.                             <property name="selectable">False</property>
  622.                             <property name="xalign">0.5</property>
  623.                             <property name="yalign">0.5</property>
  624.                             <property name="xpad">0</property>
  625.                             <property name="ypad">0</property>
  626.                             <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  627.                             <property name="width_chars">-1</property>
  628.                             <property name="single_line_mode">False</property>
  629.                             <property name="angle">0</property>
  630.                           </object>
  631.                           <packing>
  632.                             <property name="padding">0</property>
  633.                             <property name="expand">False</property>
  634.                             <property name="fill">False</property>
  635.                           </packing>
  636.                         </child>
  637.                         <child>
  638.                           <object class="GtkVBox" id="vbox250">
  639.                             <property name="visible">True</property>
  640.                             <property name="homogeneous">False</property>
  641.                             <property name="spacing">6</property>
  642.                             <child>
  643.                               <object class="GtkCheckButton" id="bracket_matching_checkbutton">
  644.                                 <property name="visible">True</property>
  645.                                 <property name="can_focus">True</property>
  646.                                 <property name="label" translatable="yes">Highlight matching _bracket</property>
  647.                                 <property name="use_underline">True</property>
  648.                                 <property name="relief">GTK_RELIEF_NORMAL</property>
  649.                                 <property name="focus_on_click">True</property>
  650.                                 <property name="active">False</property>
  651.                                 <property name="inconsistent">False</property>
  652.                                 <property name="draw_indicator">True</property>
  653.                               </object>
  654.                               <packing>
  655.                                 <property name="padding">0</property>
  656.                                 <property name="expand">False</property>
  657.                                 <property name="fill">False</property>
  658.                               </packing>
  659.                             </child>
  660.                           </object>
  661.                           <packing>
  662.                             <property name="padding">0</property>
  663.                             <property name="expand">True</property>
  664.                             <property name="fill">True</property>
  665.                           </packing>
  666.                         </child>
  667.                       </object>
  668.                       <packing>
  669.                         <property name="padding">0</property>
  670.                         <property name="expand">True</property>
  671.                         <property name="fill">True</property>
  672.                       </packing>
  673.                     </child>
  674.                   </object>
  675.                   <packing>
  676.                     <property name="padding">0</property>
  677.                     <property name="expand">True</property>
  678.                     <property name="fill">True</property>
  679.                   </packing>
  680.                 </child>
  681.               </object>
  682.               <packing>
  683.                 <property name="tab_expand">False</property>
  684.                 <property name="tab_fill">True</property>
  685.               </packing>
  686.             </child>
  687.             <child type="tab">
  688.               <object class="GtkLabel" id="label853">
  689.                 <property name="visible">True</property>
  690.                 <property name="label" translatable="yes">View</property>
  691.                 <property name="use_underline">False</property>
  692.                 <property name="use_markup">False</property>
  693.                 <property name="justify">GTK_JUSTIFY_LEFT</property>
  694.                 <property name="wrap">False</property>
  695.                 <property name="selectable">False</property>
  696.                 <property name="xalign">0.5</property>
  697.                 <property name="yalign">0.5</property>
  698.                 <property name="xpad">0</property>
  699.                 <property name="ypad">0</property>
  700.                 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  701.                 <property name="width_chars">-1</property>
  702.                 <property name="single_line_mode">False</property>
  703.                 <property name="angle">0</property>
  704.               </object>
  705.             </child>
  706.             <child>
  707.               <object class="GtkVBox" id="vbox224">
  708.                 <property name="border_width">12</property>
  709.                 <property name="visible">True</property>
  710.                 <property name="homogeneous">False</property>
  711.                 <property name="spacing">18</property>
  712.                 <child>
  713.                   <object class="GtkVBox" id="vbox225">
  714.                     <property name="visible">True</property>
  715.                     <property name="homogeneous">False</property>
  716.                     <property name="spacing">6</property>
  717.                     <child>
  718.                       <object class="GtkLabel" id="label846">
  719.                         <property name="visible">True</property>
  720.                         <property name="label" translatable="yes"><b>Tab Stops</b></property>
  721.                         <property name="use_underline">False</property>
  722.                         <property name="use_markup">True</property>
  723.                         <property name="justify">GTK_JUSTIFY_LEFT</property>
  724.                         <property name="wrap">False</property>
  725.                         <property name="selectable">False</property>
  726.                         <property name="xalign">0</property>
  727.                         <property name="yalign">0.5</property>
  728.                         <property name="xpad">0</property>
  729.                         <property name="ypad">0</property>
  730.                         <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  731.                         <property name="width_chars">-1</property>
  732.                         <property name="single_line_mode">False</property>
  733.                         <property name="angle">0</property>
  734.                       </object>
  735.                       <packing>
  736.                         <property name="padding">0</property>
  737.                         <property name="expand">False</property>
  738.                         <property name="fill">False</property>
  739.                       </packing>
  740.                     </child>
  741.                     <child>
  742.                       <object class="GtkHBox" id="hbox141">
  743.                         <property name="visible">True</property>
  744.                         <property name="homogeneous">False</property>
  745.                         <property name="spacing">0</property>
  746.                         <child>
  747.                           <object class="GtkLabel" id="label847">
  748.                             <property name="visible">True</property>
  749.                             <property name="label" translatable="yes">    </property>
  750.                             <property name="use_underline">False</property>
  751.                             <property name="use_markup">False</property>
  752.                             <property name="justify">GTK_JUSTIFY_LEFT</property>
  753.                             <property name="wrap">False</property>
  754.                             <property name="selectable">False</property>
  755.                             <property name="xalign">0.5</property>
  756.                             <property name="yalign">0.5</property>
  757.                             <property name="xpad">0</property>
  758.                             <property name="ypad">0</property>
  759.                             <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  760.                             <property name="width_chars">-1</property>
  761.                             <property name="single_line_mode">False</property>
  762.                             <property name="angle">0</property>
  763.                           </object>
  764.                           <packing>
  765.                             <property name="padding">0</property>
  766.                             <property name="expand">False</property>
  767.                             <property name="fill">False</property>
  768.                           </packing>
  769.                         </child>
  770.                         <child>
  771.                           <object class="GtkVBox" id="vbox205">
  772.                             <property name="visible">True</property>
  773.                             <property name="homogeneous">False</property>
  774.                             <property name="spacing">6</property>
  775.                             <child>
  776.                               <object class="GtkHBox" id="tabs_width_hbox">
  777.                                 <property name="visible">True</property>
  778.                                 <property name="homogeneous">False</property>
  779.                                 <property name="spacing">6</property>
  780.                                 <child>
  781.                                   <object class="GtkLabel" id="label98">
  782.                                     <property name="visible">True</property>
  783.                                     <property name="label" translatable="yes">_Tab width:</property>
  784.                                     <property name="use_underline">True</property>
  785.                                     <property name="use_markup">False</property>
  786.                                     <property name="justify">GTK_JUSTIFY_CENTER</property>
  787.                                     <property name="wrap">False</property>
  788.                                     <property name="selectable">False</property>
  789.                                     <property name="xalign">0.5</property>
  790.                                     <property name="yalign">0.5</property>
  791.                                     <property name="xpad">0</property>
  792.                                     <property name="ypad">0</property>
  793.                                     <property name="mnemonic_widget">tabs_width_spinbutton</property>
  794.                                     <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  795.                                     <property name="width_chars">-1</property>
  796.                                     <property name="single_line_mode">False</property>
  797.                                     <property name="angle">0</property>
  798.                                   </object>
  799.                                   <packing>
  800.                                     <property name="padding">0</property>
  801.                                     <property name="expand">False</property>
  802.                                     <property name="fill">False</property>
  803.                                   </packing>
  804.                                 </child>
  805.                                 <child>
  806.                                   <object class="GtkSpinButton" id="tabs_width_spinbutton">
  807.                                     <property name="visible">True</property>
  808.                                     <property name="can_focus">True</property>
  809.                                     <property name="climb_rate">1</property>
  810.                                     <property name="digits">0</property>
  811.                                     <property name="numeric">True</property>
  812.                                     <property name="update_policy">GTK_UPDATE_ALWAYS</property>
  813.                                     <property name="snap_to_ticks">False</property>
  814.                                     <property name="wrap">False</property>
  815.                                     <property name="adjustment">adjustment2</property>
  816.                                   </object>
  817.                                   <packing>
  818.                                     <property name="padding">0</property>
  819.                                     <property name="expand">False</property>
  820.                                     <property name="fill">False</property>
  821.                                   </packing>
  822.                                 </child>
  823.                               </object>
  824.                               <packing>
  825.                                 <property name="padding">0</property>
  826.                                 <property name="expand">True</property>
  827.                                 <property name="fill">True</property>
  828.                               </packing>
  829.                             </child>
  830.                             <child>
  831.                               <object class="GtkCheckButton" id="insert_spaces_checkbutton">
  832.                                 <property name="visible">True</property>
  833.                                 <property name="can_focus">True</property>
  834.                                 <property name="label" translatable="yes">Insert _spaces instead of tabs</property>
  835.                                 <property name="use_underline">True</property>
  836.                                 <property name="relief">GTK_RELIEF_NORMAL</property>
  837.                                 <property name="focus_on_click">True</property>
  838.                                 <property name="active">False</property>
  839.                                 <property name="inconsistent">False</property>
  840.                                 <property name="draw_indicator">True</property>
  841.                               </object>
  842.                               <packing>
  843.                                 <property name="padding">0</property>
  844.                                 <property name="expand">False</property>
  845.                                 <property name="fill">False</property>
  846.                               </packing>
  847.                             </child>
  848.                           </object>
  849.                           <packing>
  850.                             <property name="padding">0</property>
  851.                             <property name="expand">False</property>
  852.                             <property name="fill">False</property>
  853.                           </packing>
  854.                         </child>
  855.                       </object>
  856.                       <packing>
  857.                         <property name="padding">0</property>
  858.                         <property name="expand">False</property>
  859.                         <property name="fill">False</property>
  860.                       </packing>
  861.                     </child>
  862.                   </object>
  863.                   <packing>
  864.                     <property name="padding">0</property>
  865.                     <property name="expand">False</property>
  866.                     <property name="fill">False</property>
  867.                   </packing>
  868.                 </child>
  869.                 <child>
  870.                   <object class="GtkVBox" id="vbox227">
  871.                     <property name="visible">True</property>
  872.                     <property name="homogeneous">False</property>
  873.                     <property name="spacing">6</property>
  874.                     <child>
  875.                       <object class="GtkLabel" id="label851">
  876.                         <property name="visible">True</property>
  877.                         <property name="label" translatable="yes"><b>Automatic Indentation</b></property>
  878.                         <property name="use_underline">False</property>
  879.                         <property name="use_markup">True</property>
  880.                         <property name="justify">GTK_JUSTIFY_LEFT</property>
  881.                         <property name="wrap">False</property>
  882.                         <property name="selectable">False</property>
  883.                         <property name="xalign">0</property>
  884.                         <property name="yalign">0.5</property>
  885.                         <property name="xpad">0</property>
  886.                         <property name="ypad">0</property>
  887.                         <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  888.                         <property name="width_chars">-1</property>
  889.                         <property name="single_line_mode">False</property>
  890.                         <property name="angle">0</property>
  891.                       </object>
  892.                       <packing>
  893.                         <property name="padding">0</property>
  894.                         <property name="expand">False</property>
  895.                         <property name="fill">False</property>
  896.                       </packing>
  897.                     </child>
  898.                     <child>
  899.                       <object class="GtkHBox" id="hbox143">
  900.                         <property name="visible">True</property>
  901.                         <property name="homogeneous">False</property>
  902.                         <property name="spacing">0</property>
  903.                         <child>
  904.                           <object class="GtkLabel" id="label852">
  905.                             <property name="visible">True</property>
  906.                             <property name="label" translatable="yes">    </property>
  907.                             <property name="use_underline">False</property>
  908.                             <property name="use_markup">False</property>
  909.                             <property name="justify">GTK_JUSTIFY_LEFT</property>
  910.                             <property name="wrap">False</property>
  911.                             <property name="selectable">False</property>
  912.                             <property name="xalign">0.5</property>
  913.                             <property name="yalign">0.5</property>
  914.                             <property name="xpad">0</property>
  915.                             <property name="ypad">0</property>
  916.                             <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  917.                             <property name="width_chars">-1</property>
  918.                             <property name="single_line_mode">False</property>
  919.                             <property name="angle">0</property>
  920.                           </object>
  921.                           <packing>
  922.                             <property name="padding">0</property>
  923.                             <property name="expand">False</property>
  924.                             <property name="fill">False</property>
  925.                           </packing>
  926.                         </child>
  927.                         <child>
  928.                           <object class="GtkCheckButton" id="auto_indent_checkbutton">
  929.                             <property name="visible">True</property>
  930.                             <property name="can_focus">True</property>
  931.                             <property name="label" translatable="yes">_Enable automatic indentation</property>
  932.                             <property name="use_underline">True</property>
  933.                             <property name="relief">GTK_RELIEF_NORMAL</property>
  934.                             <property name="focus_on_click">True</property>
  935.                             <property name="active">False</property>
  936.                             <property name="inconsistent">False</property>
  937.                             <property name="draw_indicator">True</property>
  938.                           </object>
  939.                           <packing>
  940.                             <property name="padding">0</property>
  941.                             <property name="expand">False</property>
  942.                             <property name="fill">False</property>
  943.                           </packing>
  944.                         </child>
  945.                       </object>
  946.                       <packing>
  947.                         <property name="padding">0</property>
  948.                         <property name="expand">False</property>
  949.                         <property name="fill">False</property>
  950.                       </packing>
  951.                     </child>
  952.                   </object>
  953.                   <packing>
  954.                     <property name="padding">0</property>
  955.                     <property name="expand">False</property>
  956.                     <property name="fill">False</property>
  957.                   </packing>
  958.                 </child>
  959.                 <child>
  960.                   <object class="GtkVBox" id="vbox232">
  961.                     <property name="visible">True</property>
  962.                     <property name="homogeneous">False</property>
  963.                     <property name="spacing">6</property>
  964.                     <child>
  965.                       <object class="GtkLabel" id="label859">
  966.                         <property name="visible">True</property>
  967.                         <property name="label" translatable="yes"><b>File Saving</b></property>
  968.                         <property name="use_underline">False</property>
  969.                         <property name="use_markup">True</property>
  970.                         <property name="justify">GTK_JUSTIFY_LEFT</property>
  971.                         <property name="wrap">False</property>
  972.                         <property name="selectable">False</property>
  973.                         <property name="xalign">0</property>
  974.                         <property name="yalign">0.5</property>
  975.                         <property name="xpad">0</property>
  976.                         <property name="ypad">0</property>
  977.                         <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  978.                         <property name="width_chars">-1</property>
  979.                         <property name="single_line_mode">False</property>
  980.                         <property name="angle">0</property>
  981.                       </object>
  982.                       <packing>
  983.                         <property name="padding">0</property>
  984.                         <property name="expand">False</property>
  985.                         <property name="fill">False</property>
  986.                       </packing>
  987.                     </child>
  988.                     <child>
  989.                       <object class="GtkHBox" id="hbox147">
  990.                         <property name="visible">True</property>
  991.                         <property name="homogeneous">False</property>
  992.                         <property name="spacing">0</property>
  993.                         <child>
  994.                           <object class="GtkLabel" id="label860">
  995.                             <property name="visible">True</property>
  996.                             <property name="label" translatable="yes">    </property>
  997.                             <property name="use_underline">False</property>
  998.                             <property name="use_markup">False</property>
  999.                             <property name="justify">GTK_JUSTIFY_LEFT</property>
  1000.                             <property name="wrap">False</property>
  1001.                             <property name="selectable">False</property>
  1002.                             <property name="xalign">0.5</property>
  1003.                             <property name="yalign">0.5</property>
  1004.                             <property name="xpad">0</property>
  1005.                             <property name="ypad">0</property>
  1006.                             <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1007.                             <property name="width_chars">-1</property>
  1008.                             <property name="single_line_mode">False</property>
  1009.                             <property name="angle">0</property>
  1010.                           </object>
  1011.                           <packing>
  1012.                             <property name="padding">0</property>
  1013.                             <property name="expand">False</property>
  1014.                             <property name="fill">False</property>
  1015.                           </packing>
  1016.                         </child>
  1017.                         <child>
  1018.                           <object class="GtkVBox" id="vbox187">
  1019.                             <property name="visible">True</property>
  1020.                             <property name="homogeneous">False</property>
  1021.                             <property name="spacing">6</property>
  1022.                             <child>
  1023.                               <object class="GtkCheckButton" id="backup_copy_checkbutton">
  1024.                                 <property name="visible">True</property>
  1025.                                 <property name="can_focus">True</property>
  1026.                                 <property name="label" translatable="yes">Create a _backup copy of files before saving</property>
  1027.                                 <property name="use_underline">True</property>
  1028.                                 <property name="relief">GTK_RELIEF_NORMAL</property>
  1029.                                 <property name="focus_on_click">True</property>
  1030.                                 <property name="active">False</property>
  1031.                                 <property name="inconsistent">False</property>
  1032.                                 <property name="draw_indicator">True</property>
  1033.                               </object>
  1034.                               <packing>
  1035.                                 <property name="padding">0</property>
  1036.                                 <property name="expand">False</property>
  1037.                                 <property name="fill">False</property>
  1038.                               </packing>
  1039.                             </child>
  1040.                             <child>
  1041.                               <object class="GtkHBox" id="autosave_hbox">
  1042.                                 <property name="visible">True</property>
  1043.                                 <property name="homogeneous">False</property>
  1044.                                 <property name="spacing">6</property>
  1045.                                 <child>
  1046.                                   <object class="GtkCheckButton" id="auto_save_checkbutton">
  1047.                                     <property name="visible">True</property>
  1048.                                     <property name="can_focus">True</property>
  1049.                                     <property name="label" translatable="yes">_Autosave files every</property>
  1050.                                     <property name="use_underline">True</property>
  1051.                                     <property name="relief">GTK_RELIEF_NORMAL</property>
  1052.                                     <property name="focus_on_click">True</property>
  1053.                                     <property name="active">False</property>
  1054.                                     <property name="inconsistent">False</property>
  1055.                                     <property name="draw_indicator">True</property>
  1056.                                   </object>
  1057.                                   <packing>
  1058.                                     <property name="padding">0</property>
  1059.                                     <property name="expand">False</property>
  1060.                                     <property name="fill">False</property>
  1061.                                   </packing>
  1062.                                 </child>
  1063.                                 <child>
  1064.                                   <object class="GtkSpinButton" id="auto_save_spinbutton">
  1065.                                     <property name="visible">True</property>
  1066.                                     <property name="can_focus">True</property>
  1067.                                     <property name="climb_rate">1</property>
  1068.                                     <property name="digits">0</property>
  1069.                                     <property name="numeric">True</property>
  1070.                                     <property name="update_policy">GTK_UPDATE_ALWAYS</property>
  1071.                                     <property name="snap_to_ticks">False</property>
  1072.                                     <property name="wrap">False</property>
  1073.                                     <property name="adjustment">adjustment3</property>
  1074.                                   </object>
  1075.                                   <packing>
  1076.                                     <property name="padding">0</property>
  1077.                                     <property name="expand">False</property>
  1078.                                     <property name="fill">False</property>
  1079.                                   </packing>
  1080.                                 </child>
  1081.                                 <child>
  1082.                                   <object class="GtkLabel" id="label97">
  1083.                                     <property name="visible">True</property>
  1084.                                     <property name="label" translatable="yes">_minutes</property>
  1085.                                     <property name="use_underline">True</property>
  1086.                                     <property name="use_markup">False</property>
  1087.                                     <property name="justify">GTK_JUSTIFY_CENTER</property>
  1088.                                     <property name="wrap">False</property>
  1089.                                     <property name="selectable">False</property>
  1090.                                     <property name="xalign">0.5</property>
  1091.                                     <property name="yalign">0.5</property>
  1092.                                     <property name="xpad">0</property>
  1093.                                     <property name="ypad">0</property>
  1094.                                     <property name="mnemonic_widget">auto_save_spinbutton</property>
  1095.                                     <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1096.                                     <property name="width_chars">-1</property>
  1097.                                     <property name="single_line_mode">False</property>
  1098.                                     <property name="angle">0</property>
  1099.                                   </object>
  1100.                                   <packing>
  1101.                                     <property name="padding">0</property>
  1102.                                     <property name="expand">False</property>
  1103.                                     <property name="fill">False</property>
  1104.                                   </packing>
  1105.                                 </child>
  1106.                               </object>
  1107.                               <packing>
  1108.                                 <property name="padding">0</property>
  1109.                                 <property name="expand">True</property>
  1110.                                 <property name="fill">True</property>
  1111.                               </packing>
  1112.                             </child>
  1113.                           </object>
  1114.                           <packing>
  1115.                             <property name="padding">0</property>
  1116.                             <property name="expand">False</property>
  1117.                             <property name="fill">False</property>
  1118.                           </packing>
  1119.                         </child>
  1120.                       </object>
  1121.                       <packing>
  1122.                         <property name="padding">0</property>
  1123.                         <property name="expand">True</property>
  1124.                         <property name="fill">True</property>
  1125.                       </packing>
  1126.                     </child>
  1127.                   </object>
  1128.                   <packing>
  1129.                     <property name="padding">0</property>
  1130.                     <property name="expand">False</property>
  1131.                     <property name="fill">False</property>
  1132.                   </packing>
  1133.                 </child>
  1134.               </object>
  1135.               <packing>
  1136.                 <property name="tab_expand">False</property>
  1137.                 <property name="tab_fill">True</property>
  1138.               </packing>
  1139.             </child>
  1140.             <child type="tab">
  1141.               <object class="GtkLabel" id="label829">
  1142.                 <property name="visible">True</property>
  1143.                 <property name="label" translatable="yes">Editor</property>
  1144.                 <property name="use_underline">False</property>
  1145.                 <property name="use_markup">False</property>
  1146.                 <property name="justify">GTK_JUSTIFY_LEFT</property>
  1147.                 <property name="wrap">False</property>
  1148.                 <property name="selectable">False</property>
  1149.                 <property name="xalign">0.5</property>
  1150.                 <property name="yalign">0.5</property>
  1151.                 <property name="xpad">0</property>
  1152.                 <property name="ypad">0</property>
  1153.                 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1154.                 <property name="width_chars">-1</property>
  1155.                 <property name="single_line_mode">False</property>
  1156.                 <property name="angle">0</property>
  1157.               </object>
  1158.             </child>
  1159.             <child>
  1160.               <object class="GtkVBox" id="vbox202">
  1161.                 <property name="border_width">12</property>
  1162.                 <property name="visible">True</property>
  1163.                 <property name="homogeneous">False</property>
  1164.                 <property name="spacing">18</property>
  1165.                 <child>
  1166.                   <object class="GtkVBox" id="vbox185">
  1167.                     <property name="visible">True</property>
  1168.                     <property name="homogeneous">False</property>
  1169.                     <property name="spacing">6</property>
  1170.                     <child>
  1171.                       <object class="GtkLabel" id="label819">
  1172.                         <property name="visible">True</property>
  1173.                         <property name="label" translatable="yes"><b>Font</b></property>
  1174.                         <property name="use_underline">False</property>
  1175.                         <property name="use_markup">True</property>
  1176.                         <property name="justify">GTK_JUSTIFY_LEFT</property>
  1177.                         <property name="wrap">False</property>
  1178.                         <property name="selectable">False</property>
  1179.                         <property name="xalign">0</property>
  1180.                         <property name="yalign">0.5</property>
  1181.                         <property name="xpad">0</property>
  1182.                         <property name="ypad">0</property>
  1183.                         <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1184.                         <property name="width_chars">-1</property>
  1185.                         <property name="single_line_mode">False</property>
  1186.                         <property name="angle">0</property>
  1187.                       </object>
  1188.                       <packing>
  1189.                         <property name="padding">0</property>
  1190.                         <property name="expand">False</property>
  1191.                         <property name="fill">False</property>
  1192.                       </packing>
  1193.                     </child>
  1194.                     <child>
  1195.                       <object class="GtkHBox" id="hbox116">
  1196.                         <property name="visible">True</property>
  1197.                         <property name="homogeneous">False</property>
  1198.                         <property name="spacing">0</property>
  1199.                         <child>
  1200.                           <object class="GtkLabel" id="label800">
  1201.                             <property name="visible">True</property>
  1202.                             <property name="label" translatable="yes">    </property>
  1203.                             <property name="use_underline">False</property>
  1204.                             <property name="use_markup">False</property>
  1205.                             <property name="justify">GTK_JUSTIFY_LEFT</property>
  1206.                             <property name="wrap">False</property>
  1207.                             <property name="selectable">False</property>
  1208.                             <property name="xalign">0.5</property>
  1209.                             <property name="yalign">0.5</property>
  1210.                             <property name="xpad">0</property>
  1211.                             <property name="ypad">0</property>
  1212.                             <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1213.                             <property name="width_chars">-1</property>
  1214.                             <property name="single_line_mode">False</property>
  1215.                             <property name="angle">0</property>
  1216.                           </object>
  1217.                           <packing>
  1218.                             <property name="padding">0</property>
  1219.                             <property name="expand">False</property>
  1220.                             <property name="fill">False</property>
  1221.                           </packing>
  1222.                         </child>
  1223.                         <child>
  1224.                           <object class="GtkVBox" id="vbox183">
  1225.                             <property name="visible">True</property>
  1226.                             <property name="homogeneous">False</property>
  1227.                             <property name="spacing">6</property>
  1228.                             <child>
  1229.                               <object class="GtkCheckButton" id="default_font_checkbutton">
  1230.                                 <property name="visible">True</property>
  1231.                                 <property name="can_focus">True</property>
  1232.                                 <property name="label">_Use the system fixed width font (%s)</property>
  1233.                                 <property name="use_underline">True</property>
  1234.                                 <property name="relief">GTK_RELIEF_NORMAL</property>
  1235.                                 <property name="focus_on_click">True</property>
  1236.                                 <property name="active">False</property>
  1237.                                 <property name="inconsistent">False</property>
  1238.                                 <property name="draw_indicator">True</property>
  1239.                               </object>
  1240.                               <packing>
  1241.                                 <property name="padding">0</property>
  1242.                                 <property name="expand">False</property>
  1243.                                 <property name="fill">False</property>
  1244.                               </packing>
  1245.                             </child>
  1246.                             <child>
  1247.                               <object class="GtkHBox" id="font_hbox">
  1248.                                 <property name="visible">True</property>
  1249.                                 <property name="homogeneous">False</property>
  1250.                                 <property name="spacing">12</property>
  1251.                                 <child>
  1252.                                   <object class="GtkLabel" id="font_label">
  1253.                                     <property name="visible">True</property>
  1254.                                     <property name="label" translatable="yes">Editor _font: </property>
  1255.                                     <property name="use_underline">True</property>
  1256.                                     <property name="use_markup">False</property>
  1257.                                     <property name="justify">GTK_JUSTIFY_CENTER</property>
  1258.                                     <property name="wrap">False</property>
  1259.                                     <property name="selectable">False</property>
  1260.                                     <property name="xalign">0</property>
  1261.                                     <property name="yalign">0.5</property>
  1262.                                     <property name="xpad">0</property>
  1263.                                     <property name="ypad">0</property>
  1264.                                     <property name="mnemonic_widget">font_button</property>
  1265.                                     <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1266.                                     <property name="width_chars">-1</property>
  1267.                                     <property name="single_line_mode">False</property>
  1268.                                     <property name="angle">0</property>
  1269.                                   </object>
  1270.                                   <packing>
  1271.                                     <property name="padding">0</property>
  1272.                                     <property name="expand">False</property>
  1273.                                     <property name="fill">False</property>
  1274.                                   </packing>
  1275.                                 </child>
  1276.                                 <child>
  1277.                                   <object class="GtkFontButton" id="font_button">
  1278.                                     <property name="visible">True</property>
  1279.                                     <property name="can_focus">True</property>
  1280.                                     <property name="title" translatable="yes">Pick the editor font</property>
  1281.                                     <property name="show_style">True</property>
  1282.                                     <property name="show_size">True</property>
  1283.                                     <property name="use_font">True</property>
  1284.                                     <property name="use_size">False</property>
  1285.                                     <property name="focus_on_click">True</property>
  1286.                                   </object>
  1287.                                   <packing>
  1288.                                     <property name="padding">0</property>
  1289.                                     <property name="expand">True</property>
  1290.                                     <property name="fill">True</property>
  1291.                                   </packing>
  1292.                                 </child>
  1293.                               </object>
  1294.                               <packing>
  1295.                                 <property name="padding">0</property>
  1296.                                 <property name="expand">False</property>
  1297.                                 <property name="fill">False</property>
  1298.                               </packing>
  1299.                             </child>
  1300.                           </object>
  1301.                           <packing>
  1302.                             <property name="padding">0</property>
  1303.                             <property name="expand">True</property>
  1304.                             <property name="fill">True</property>
  1305.                           </packing>
  1306.                         </child>
  1307.                       </object>
  1308.                       <packing>
  1309.                         <property name="padding">0</property>
  1310.                         <property name="expand">True</property>
  1311.                         <property name="fill">True</property>
  1312.                       </packing>
  1313.                     </child>
  1314.                   </object>
  1315.                   <packing>
  1316.                     <property name="padding">0</property>
  1317.                     <property name="expand">False</property>
  1318.                     <property name="fill">False</property>
  1319.                   </packing>
  1320.                 </child>
  1321.                 <child>
  1322.                   <object class="GtkVBox" id="vbox14">
  1323.                     <property name="visible">True</property>
  1324.                     <property name="homogeneous">False</property>
  1325.                     <property name="spacing">6</property>
  1326.                     <child>
  1327.                       <object class="GtkLabel" id="label798">
  1328.                         <property name="visible">True</property>
  1329.                         <property name="label" translatable="yes"><span weight="bold">Color Scheme</span></property>
  1330.                         <property name="use_underline">False</property>
  1331.                         <property name="use_markup">True</property>
  1332.                         <property name="justify">GTK_JUSTIFY_LEFT</property>
  1333.                         <property name="wrap">False</property>
  1334.                         <property name="selectable">False</property>
  1335.                         <property name="xalign">0</property>
  1336.                         <property name="yalign">0.5</property>
  1337.                         <property name="xpad">0</property>
  1338.                         <property name="ypad">0</property>
  1339.                         <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1340.                         <property name="width_chars">-1</property>
  1341.                         <property name="single_line_mode">False</property>
  1342.                         <property name="angle">0</property>
  1343.                       </object>
  1344.                       <packing>
  1345.                         <property name="padding">0</property>
  1346.                         <property name="expand">False</property>
  1347.                         <property name="fill">False</property>
  1348.                       </packing>
  1349.                     </child>
  1350.                     <child>
  1351.                       <object class="GtkHBox" id="hbox115">
  1352.                         <property name="visible">True</property>
  1353.                         <property name="homogeneous">False</property>
  1354.                         <property name="spacing">0</property>
  1355.                         <child>
  1356.                           <object class="GtkLabel" id="label797">
  1357.                             <property name="visible">True</property>
  1358.                             <property name="label" translatable="yes">    </property>
  1359.                             <property name="use_underline">False</property>
  1360.                             <property name="use_markup">False</property>
  1361.                             <property name="justify">GTK_JUSTIFY_LEFT</property>
  1362.                             <property name="wrap">False</property>
  1363.                             <property name="selectable">False</property>
  1364.                             <property name="xalign">0.5</property>
  1365.                             <property name="yalign">0.5</property>
  1366.                             <property name="xpad">0</property>
  1367.                             <property name="ypad">0</property>
  1368.                             <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1369.                             <property name="width_chars">-1</property>
  1370.                             <property name="single_line_mode">False</property>
  1371.                             <property name="angle">0</property>
  1372.                           </object>
  1373.                           <packing>
  1374.                             <property name="padding">0</property>
  1375.                             <property name="expand">False</property>
  1376.                             <property name="fill">False</property>
  1377.                           </packing>
  1378.                         </child>
  1379.                         <child>
  1380.                           <object class="GtkVBox" id="vbox1">
  1381.                             <property name="visible">True</property>
  1382.                             <property name="homogeneous">False</property>
  1383.                             <property name="spacing">6</property>
  1384.                             <child>
  1385.                               <object class="GtkScrolledWindow" id="scrolledwindow2">
  1386.                                 <property name="visible">True</property>
  1387.                                 <property name="can_focus">True</property>
  1388.                                 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
  1389.                                 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
  1390.                                 <property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>
  1391.                                 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
  1392.                                 <child>
  1393.                                   <object class="GtkTreeView" id="schemes_treeview">
  1394.                                     <property name="visible">True</property>
  1395.                                     <property name="can_focus">True</property>
  1396.                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1397.                                     <property name="headers_visible">False</property>
  1398.                                     <property name="rules_hint">True</property>
  1399.                                     <property name="reorderable">False</property>
  1400.                                     <property name="enable_search">True</property>
  1401.                                     <property name="fixed_height_mode">False</property>
  1402.                                     <property name="hover_selection">False</property>
  1403.                                     <property name="hover_expand">False</property>
  1404.                                   </object>
  1405.                                 </child>
  1406.                               </object>
  1407.                               <packing>
  1408.                                 <property name="padding">0</property>
  1409.                                 <property name="expand">True</property>
  1410.                                 <property name="fill">True</property>
  1411.                               </packing>
  1412.                             </child>
  1413.                             <child>
  1414.                               <object class="GtkHButtonBox" id="hbuttonbox1">
  1415.                                 <property name="visible">True</property>
  1416.                                 <property name="layout_style">GTK_BUTTONBOX_END</property>
  1417.                                 <property name="spacing">6</property>
  1418.                                 <child>
  1419.                                   <object class="GtkButton" id="install_scheme_button">
  1420.                                     <property name="visible">True</property>
  1421.                                     <property name="can_focus">True</property>
  1422.                                     <property name="relief">GTK_RELIEF_NORMAL</property>
  1423.                                     <property name="focus_on_click">True</property>
  1424.                                     <child>
  1425.                                       <object class="GtkAlignment" id="alignment1">
  1426.                                         <property name="visible">True</property>
  1427.                                         <property name="xalign">0.5</property>
  1428.                                         <property name="yalign">0.5</property>
  1429.                                         <property name="xscale">0</property>
  1430.                                         <property name="yscale">0</property>
  1431.                                         <property name="top_padding">0</property>
  1432.                                         <property name="bottom_padding">0</property>
  1433.                                         <property name="left_padding">0</property>
  1434.                                         <property name="right_padding">0</property>
  1435.                                         <child>
  1436.                                           <object class="GtkHBox" id="hbox164">
  1437.                                             <property name="visible">True</property>
  1438.                                             <property name="homogeneous">False</property>
  1439.                                             <property name="spacing">2</property>
  1440.                                             <child>
  1441.                                               <object class="GtkImage" id="image1">
  1442.                                                 <property name="visible">True</property>
  1443.                                                 <property name="stock">gtk-add</property>
  1444.                                                 <property name="icon_size">4</property>
  1445.                                                 <property name="xalign">0.5</property>
  1446.                                                 <property name="yalign">0.5</property>
  1447.                                                 <property name="xpad">0</property>
  1448.                                                 <property name="ypad">0</property>
  1449.                                               </object>
  1450.                                               <packing>
  1451.                                                 <property name="padding">0</property>
  1452.                                                 <property name="expand">False</property>
  1453.                                                 <property name="fill">False</property>
  1454.                                               </packing>
  1455.                                             </child>
  1456.                                             <child>
  1457.                                               <object class="GtkLabel" id="label883">
  1458.                                                 <property name="visible">True</property>
  1459.                                                 <property name="label" translatable="yes">_Add...</property>
  1460.                                                 <property name="use_underline">True</property>
  1461.                                                 <property name="use_markup">False</property>
  1462.                                                 <property name="justify">GTK_JUSTIFY_LEFT</property>
  1463.                                                 <property name="wrap">False</property>
  1464.                                                 <property name="selectable">False</property>
  1465.                                                 <property name="xalign">0.5</property>
  1466.                                                 <property name="yalign">0.5</property>
  1467.                                                 <property name="xpad">0</property>
  1468.                                                 <property name="ypad">0</property>
  1469.                                                 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1470.                                                 <property name="width_chars">-1</property>
  1471.                                                 <property name="single_line_mode">False</property>
  1472.                                                 <property name="angle">0</property>
  1473.                                               </object>
  1474.                                               <packing>
  1475.                                                 <property name="padding">0</property>
  1476.                                                 <property name="expand">False</property>
  1477.                                                 <property name="fill">False</property>
  1478.                                               </packing>
  1479.                                             </child>
  1480.                                           </object>
  1481.                                         </child>
  1482.                                       </object>
  1483.                                     </child>
  1484.                                   </object>
  1485.                                 </child>
  1486.                                 <child>
  1487.                                   <object class="GtkButton" id="uninstall_scheme_button">
  1488.                                     <property name="visible">True</property>
  1489.                                     <property name="can_focus">True</property>
  1490.                                     <property name="label">gtk-remove</property>
  1491.                                     <property name="use_stock">True</property>
  1492.                                     <property name="relief">GTK_RELIEF_NORMAL</property>
  1493.                                     <property name="focus_on_click">True</property>
  1494.                                   </object>
  1495.                                 </child>
  1496.                               </object>
  1497.                               <packing>
  1498.                                 <property name="padding">0</property>
  1499.                                 <property name="expand">False</property>
  1500.                                 <property name="fill">True</property>
  1501.                               </packing>
  1502.                             </child>
  1503.                           </object>
  1504.                           <packing>
  1505.                             <property name="padding">0</property>
  1506.                             <property name="expand">True</property>
  1507.                             <property name="fill">True</property>
  1508.                           </packing>
  1509.                         </child>
  1510.                       </object>
  1511.                       <packing>
  1512.                         <property name="padding">0</property>
  1513.                         <property name="expand">True</property>
  1514.                         <property name="fill">True</property>
  1515.                       </packing>
  1516.                     </child>
  1517.                   </object>
  1518.                   <packing>
  1519.                     <property name="padding">0</property>
  1520.                     <property name="expand">True</property>
  1521.                     <property name="fill">True</property>
  1522.                   </packing>
  1523.                 </child>
  1524.               </object>
  1525.               <packing>
  1526.                 <property name="tab_expand">False</property>
  1527.                 <property name="tab_fill">True</property>
  1528.               </packing>
  1529.             </child>
  1530.             <child type="tab">
  1531.               <object class="GtkLabel" id="label830">
  1532.                 <property name="visible">True</property>
  1533.                 <property name="label" translatable="yes">Font & Colors</property>
  1534.                 <property name="use_underline">False</property>
  1535.                 <property name="use_markup">False</property>
  1536.                 <property name="justify">GTK_JUSTIFY_LEFT</property>
  1537.                 <property name="wrap">False</property>
  1538.                 <property name="selectable">False</property>
  1539.                 <property name="xalign">0.5</property>
  1540.                 <property name="yalign">0.5</property>
  1541.                 <property name="xpad">0</property>
  1542.                 <property name="ypad">0</property>
  1543.                 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1544.                 <property name="width_chars">-1</property>
  1545.                 <property name="single_line_mode">False</property>
  1546.                 <property name="angle">0</property>
  1547.               </object>
  1548.             </child>
  1549.             <child>
  1550.               <object class="GtkVBox" id="plugin_manager_place_holder">
  1551.                 <property name="border_width">12</property>
  1552.                 <property name="visible">True</property>
  1553.                 <property name="homogeneous">False</property>
  1554.                 <property name="spacing">0</property>
  1555.                 <child>
  1556.                   <placeholder/>
  1557.                 </child>
  1558.               </object>
  1559.               <packing>
  1560.                 <property name="tab_expand">False</property>
  1561.                 <property name="tab_fill">True</property>
  1562.               </packing>
  1563.             </child>
  1564.             <child type="tab">
  1565.               <object class="GtkLabel" id="label868">
  1566.                 <property name="visible">True</property>
  1567.                 <property name="label" translatable="yes">Plugins</property>
  1568.                 <property name="use_underline">False</property>
  1569.                 <property name="use_markup">False</property>
  1570.                 <property name="justify">GTK_JUSTIFY_LEFT</property>
  1571.                 <property name="wrap">False</property>
  1572.                 <property name="selectable">False</property>
  1573.                 <property name="xalign">0.5</property>
  1574.                 <property name="yalign">0.5</property>
  1575.                 <property name="xpad">0</property>
  1576.                 <property name="ypad">0</property>
  1577.                 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1578.                 <property name="width_chars">-1</property>
  1579.                 <property name="single_line_mode">False</property>
  1580.                 <property name="angle">0</property>
  1581.               </object>
  1582.             </child>
  1583.           </object>
  1584.           <packing>
  1585.             <property name="padding">0</property>
  1586.             <property name="expand">True</property>
  1587.             <property name="fill">True</property>
  1588.           </packing>
  1589.         </child>
  1590.       </object>
  1591.     </child>
  1592.     <action-widgets>
  1593.       <action-widget response="-11">helpbutton1</action-widget>
  1594.       <action-widget response="-7">closebutton1</action-widget>
  1595.     </action-widgets>
  1596.   </object>
  1597. </interface>
  1598.